Gradec in Rim – bazilika sv. Petra kot vzor za cerkev sv. Katarine in mavzolej
نویسندگان
چکیده
منابع مشابه
Sv-rings and Sv-porings
SV-rings are commutative rings whose factor rings modulo prime ideals are valuation rings. SV-rings occur most naturally in connection with partially ordered rings (= porings) and have been studied only in this context so far. The present note first develops the theory of SV-rings systematically, without assuming the presence of a partial order. Particular attention is paid to the question of a...
متن کاملDynamic Correlations in Symmetric Multivariate SV Models
This paper proposes two types of stochastic correlation structures for Multivariate Stochastic Volatility (MSV) models, namely the constant correlation (CC) MSV and dynamic correlation (DC) MSV models, from which the stochastic covariance structures could be obtained easily. Both structures can be used for purposes of optimal portfolio and risk management, and for calculating Value-at-Risk (VaR...
متن کاملPreference Queries with SV-Semantics
Personalization of database queries requires a semantically rich, easy to handle and flexible preference model. Building on preferences as strict partial orders we provide a variety of intuitive base preference constructors for numerical and categorical data, including so-called d-parameters. As a novel semantic concept for complex preferences we introduce the notion of ‘substitutable values’ (...
متن کاملa SV DISPLAYS ON DISPLAY
This realistic yet fantastical image of the new Boeing 767jet airliner was produced by Digital Effects, Inc., as part of a computer graphics animated television commercial for All Nippon Airways in Japan. Animator Alan Green obtained the CAD/CAM database for the 707, which, incidentally, is the first commercial airliner designed entirely on a computer, and entered the database into Digital's IB...
متن کاملCompetition on Software Verification - (SV-COMP)
This report describes the definitions, rules, setup, procedure, and results of the 1st International Competition on Software Verification. The verification community has performed competitions in various areas in the past, and SV-COMP’12 is the first competition of verification tools that take software programs as input and run a fully automatic verification of a given safety property. This yea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta historiae artis Slovenica
سال: 2020
ISSN: 2536-4200,1408-0419
DOI: 10.3986/ahas.25.2.05